1 # initial state
(0,0,'!r&!g',ConstantRewardFunction(0))
(0,1,'r|g',ConstantRewardFunction(0))
(1,1,'!b',ConstantRewardFunction(0))
(1,2,'b',ConstantRewardFunction(0))
(2,2,'!y',ConstantRewardFunction(0))
(2,3,'y',ConstantRewardFunction(1))
(3,3,'True',ConstantRewardFunction(0))